expander: Deprecate spacing property
authorMatthias Clasen <mclasen@redhat.com>
Fri, 15 Jan 2016 13:35:39 +0000 (08:35 -0500)
committerMatthias Clasen <mclasen@redhat.com>
Fri, 15 Jan 2016 14:43:51 +0000 (09:43 -0500)
commit5f5dc1082036d0ec182ffba0445333d1c81c9166
tree1f12fa0210fbc6bed7b719531f7682b7f0e04e11
parent87171469b7dba8ec8ae3397ed292b9d004ef5e90
expander: Deprecate spacing property

The same can be achieved with margins on the child, and
the spacing property gets in the way of converting the
expander to use box gadgets.
gtk/gtkexpander.c